NotElement

NotElement[x,dom] or x∉dom asserts that x is not an element of the domain dom.

NotElement[x1|…|xn,dom] asserts that none of the xi are elements of dom.

NotElement[patt,dom] asserts that any expression matching the pattern patt is not an element of the domain dom.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.